acm sigbed
|
emsoft
|
participants
Nikos Aréchiga
EMSOFT 2015: 15th International Conference on Embedded Software
Forward Invariant Cuts to Simplify Proofs of Safety
Nikos Aréchiga
,
James Kapinski
,
Jyotirmoy V. Deshmukh
,
André Platzer
, and
Bruce H. Krogh
10.1109/EMSOFT.2015.7318278
https://arxiv.org/pdf/1507.05133.pdf